Computer Laboratory - PDFSEARCH.IO - Document Search Engine

Computer Laboratory
Results: 4525

#	Item
511	OCaml inside: a drop-in replacement for libtls Enguerrand Decorne (speaker), Jeremy Yallop, David Kaloper-Meršinjak University of Cambridge Computer Laboratory Introduction: openssl to libtls to libnqsb-tls Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2016-08-18 12:03:29 Cryptographic software Functional languages OCaml Caml Functional programming Transport Layer Security OpenSSL LibreSSL Preprocessor Ctypes Monad Language binding
512	Position paper on Usable Verification Saddek Bensalem Joseph Sifakis Verimag Laboratory, Universit´e Joseph Fourier Grenoble, CNRS Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-05 16:21:44 Formal methods NuSMV Logic in computer science Model checking Formal verification Invariant
513	EXTRACTION OF POLYGONAL INFORMATION FROM GRIDDED DATA Scott Morehouse and Geoffrey Button Laboratory for Computer Graphics Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 23:36:52 Cartography Contour line Curves Multivariable calculus Topography Polygon Geographic information system Coverage data Marching squares GIS file formats
514	Clock Synchronization with Bounded Global and Local Skew∗ Christoph Lenzen, Thomas Locher, Roger Wattenhofer {lenzen, lochert, wattenhofer}@tik.ee.ethz.ch Computer Engineering and Networks Laboratory (TIK) ETH Zurich, Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:15:51 Clocks Clock signal Clock skew Synchronization Clock synchronization Flow network Distributed computing Clock
515	Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System Douglas B. Terry, Marvin M. Theimer, Karin Petersen, Alan J. Demers, Mike J. Spreitzer and Carl H. Hauser Computer Science Laboratory Xerox Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2016-08-15 14:36:17 Data synchronization Coda Replication Server Clientserver model Stub Extensible Storage Engine
516	THE AUGMENTED SCENE: INTEGRATING THE MAP AND THE ENVIRONMENT James E. Mower Department of Geography and Planning and Geographic Information System and Remote Sensing Laboratory University at Albany, State University of N Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:38:06 Virtual reality Mixed reality Computer graphics Emerging technologies User interface techniques Stereoscopy Rendering Texture mapping Perspective Camera Augmented reality Wikitude
517	Introduction Case Study in Systems Biology Continuous Approximation and Differential Equations Case Study in Web Services Adventures in Systems Biology Jane Hillston. LFCS, University of Edinburgh 18th July 2005 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-27 05:40:16 Process calculi Jane Hillston PEPA Differential equation Numerical analysis Laboratory for Foundations of Computer Science Equation Mathematical analysis
518	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Constraint Program optimization Concolic testing Constraint logic programming
519	Implementing the SMS server, or why I switched from Tcl to Python Frank Stajano Olivetti-Oracle Research Laboratory & University of Cambridge Computer Laboratory http://www.orl.co.uk/~fms/ Add to Reading List Source URL: legacy.python.org Language: English - Date: 2006-05-04 16:55:08 Scripting languages Tcl Tk Python Expect Guido van Rossum Generator JavaScript IDLE Command-line interface Snit Tcl/Java
520	Nothing better than a Python to write a Serpent Frank Stajano Olivetti Oracle Research Laboratory & University of Cambridge Computer Laboratory Serpent is a 128-bit block cipher designed by Ross Add to Reading List Source URL: legacy.python.org Language: English - Date: 2006-05-04 17:09:08 Block ciphers Cryptography Free software Serpent Data Encryption Standard Python Cipher Crypt Advanced Encryption Standard Reference implementation Python syntax and semantics

UPDATE